#include<stdio.h>


int year(int i)
{
	if((i%4==0&&i%100!=0)||i%400==0)
	{
		return 1;
    }
    return 0;
}
int main()
{
	
	int n=1;
	for(n=1000;n<=2000;n++)
	{
		if(year(n)==1)
	    {
	    	printf("%d ",n);
		}
		
	}
	
	
	return 0;
 } 
